// Agent common in project Jasim

/* Initial beliefs and rules */

satisfied(G) :- fulfilled(G).
satisfied(G) :- and_decomposes2(G, G1, G2) & satisfied(G1) & satisfied(G2).
satisfied(G) :- and_decomposes3(G, G1, G2, G3) & satisfied(G1) & satisfied(G2) & satisfied(G3).
satisfied(G) :- or_decomposes2(G, G1, G2) & (satisfied(G1) | satisfied(G2)).
satisfied(G) :- or_decomposes3(G, G1, G2, G3) & (satisfied(G1) | satisfied(G2) | satisfied(G3)).
/* Initial goals */

/* Plans */


